Counterstrategy of Textile/Clothing Industry to FTA (Focusing on Korea-US/China FTA)

Prospects for an FTA between Australia and Korea

Since the 1960s, trade opportunities based on complementary economies have driven the Australia-Korea economic relationship. Australia exported raw materials, principally minerals and energy, which Korea processed and subsequently sold on domestic and international markets. In return Australia purchased increasing volumes of Korean manufactures, initially textiles, clothing and footwear and lat...

How Will the China-Japan-Korea FTA Affect the Inward FDI to Korea?

Model Checking FTA

Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing system safety by uncovering safety flaws and weaknesses of the system. The main drawback of this analysis technique is, that it is based on informal grounds, so safety flaws may be overlooked. This is an issue, where forma...

An Improved Fta Test for Syphilis, the Absorption Procedure (fta-abs).

The algebraic hierarchy of the FTA project

We describe a framework for algebraic expressions for the proof assistant Coq. This framework has been developed as part of the FTA project in Nijmegen, in which a complete proof of the fundamental theorem of algebra has been formalized in Coq. The algebraic framework that is described here is both abstract and structured. We apply a combination of record types, coercive subtyping and implicit ...